Multi-attribute Preference Logic

Preferences for objects are commonly derived from ranked sets of properties or multiple attributes associated with these objects. There are several options or strategies to qualitatively derive a preference for one object over another from a property ranking. We introduce a modal logic, called multi-attribute preference logic, that provides a language for expressing such strategies. The logic provides the means to represent and reason about qualitative multiattribute preferences and to derive object preferences from property rankings. The main result of the paper is a proof that various well-known preference orderings can be defined in multi-attribute preference logic.